Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·21h·
Discuss: Hacker News
⚙️TLA+
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
Python Fundamentals: asynchronous
dev.to·2h·
Discuss: DEV
🌊Stream Processing
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.io·38m
📊Graph Databases
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·8h
📝Concrete Syntax
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·4h·
Discuss: Hacker News, r/programming
🔗Lisp
Polystate: Composable Finite State Machines
github.com·3d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·27m·
Discuss: Hacker News
📋DFDL
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.org·1d
🔐Quantum Security
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·1h·
Discuss: DEV
🤖Lisp Machines
My first experience with Formal Methods | ZipCPU
zipcpu.com·6d
🔧Hardware Verification
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Dive Deep into Higher-Order Functions: Essential Resources for Functional Programmers
dev.to·1d·
Discuss: DEV
🧬Functional Programming